Theorem prover

Results: 85



#Item
21Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Add to Reading List

Source URL: isabelle.in.tum.de

Language: English - Date: 2016-02-17 10:48:15
    22Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover Eric Smith and Alessandro Coglio Kestrel Institute, Palo Alto, U.S.A. http://www.kestrel.edu

    Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover Eric Smith and Alessandro Coglio Kestrel Institute, Palo Alto, U.S.A. http://www.kestrel.edu

    Add to Reading List

    Source URL: www.kestrel.edu

    Language: English - Date: 2015-10-12 12:51:13
      23Satallax: An Automatic Higher-Order Prover Chad E. Brown Saarland University, Saarbr¨ ucken, Germany Abstract. Satallax is an automatic higher-order theorem prover that

      Satallax: An Automatic Higher-Order Prover Chad E. Brown Saarland University, Saarbr¨ ucken, Germany Abstract. Satallax is an automatic higher-order theorem prover that

      Add to Reading List

      Source URL: www.ps.uni-saarland.de

      Language: English
        24The Heuristic Theorem Prover: Yet another SMT Modulo Theorem Prover (Tool Paper) Kenneth Roe 1

        The Heuristic Theorem Prover: Yet another SMT Modulo Theorem Prover (Tool Paper) Kenneth Roe 1

        Add to Reading List

        Source URL: www.cs.jhu.edu

        Language: English - Date: 2010-07-28 16:35:16
          25Formalized, Effective Domain Theory in Coq Robert Dockins Portland State University Abstract. I present highlights from a formalized development of domain theory in the theorem prover Coq. This is the f

          Formalized, Effective Domain Theory in Coq Robert Dockins Portland State University Abstract. I present highlights from a formalized development of domain theory in the theorem prover Coq. This is the f

          Add to Reading List

          Source URL: rwd.rdockins.name

          Language: English - Date: 2015-10-04 14:40:34
            26GridTPT: a distributed platform for Theorem Prover Testing∗ Thomas Bouton Diego Caminha B. de Oliveira David D´eharbe Pascal Fontaine

            GridTPT: a distributed platform for Theorem Prover Testing∗ Thomas Bouton Diego Caminha B. de Oliveira David D´eharbe Pascal Fontaine

            Add to Reading List

            Source URL: www.verit-solver.org

            Language: English - Date: 2015-06-10 09:33:21
              27haRVey: a theorem prover for software verification Silvio Ranise INRIA-Lorraine DEA, Nancy—December 1, 2004

              haRVey: a theorem prover for software verification Silvio Ranise INRIA-Lorraine DEA, Nancy—December 1, 2004

              Add to Reading List

              Source URL: www.loria.fr

              Language: English - Date: 2004-12-01 09:44:49
                28ileanTAP: An Intuitionistic Theorem Prover Jens Otten? Fachgebiet Intellektik, Fachbereich Informatik Technische Hochschule Darmstadt Alexanderstr. 10, 64283 Darmstadt, Germany

                ileanTAP: An Intuitionistic Theorem Prover Jens Otten? Fachgebiet Intellektik, Fachbereich Informatik Technische Hochschule Darmstadt Alexanderstr. 10, 64283 Darmstadt, Germany

                Add to Reading List

                Source URL: www.cs.uni-potsdam.de

                Language: English - Date: 2008-03-22 23:12:43
                  29Verified Heap Theorem Prover by Paramodulation Gordon Stewart Lennart Beringer Andrew W. Appel

                  Verified Heap Theorem Prover by Paramodulation Gordon Stewart Lennart Beringer Andrew W. Appel

                  Add to Reading List

                  Source URL: oucsace.cs.ohiou.edu

                  Language: English - Date: 2012-06-29 16:01:10